Multi-sorted Logic and Logical Geometry: Some Problems
نویسندگان
چکیده
The paper has a form of a survey on basics of logical geometry and consists of three parts. It is focused on the relationship between many-sorted theory, which leads to logical geometry and one-sorted theory, which is based on important model-theoretic concepts. Our aim is to show that both approaches go in parallel and there are bridges which allow to transfer results, notions and problems back and forth. Thus, an additional freedom in choosing an approach appears. A list of problems which naturally arise in this field is another objective of the paper.
منابع مشابه
Multi-sorted logic, models and logical geometry
Let Θ be a variety of algebras, (H, Ψ, f) be a model, where H is an algebra from Θ, Ψ is a set of relation symbols ϕ, f is an interpretation of all ϕ in H. Let X 0 be an infinite set of variables, Γ be a collection of all finite subsets in X 0 (collection of sorts), Φ be the multi-sorted algebra of formulas. These data define a knowledge base KB(H, Ψ, f). In the paper the notion of isomorphism ...
متن کاملSome Logical Invariants of Algebras and Logical Relations between Algebras
Let Θ be an arbitrary variety of algebras and H an algebra in Θ. Along with algebraic geometry in Θ over the distinguished algebra H, a logical geometry in Θ over H is considered. This insight leads to a system of notions and stimulates a number of new problems. Some logical invariants of algebras H ∈ Θ are introduced and logical relations between different H1 and H2 in Θ are analyzed. The pape...
متن کاملNotes on Many-Sorted Logic
Preface, p. vii Any reasonable logical system can be naturally translated into many-sorted first-order logic; thus many-sorted first-order logic is a universal logic. Since many-sorted logic can be translated into single-sorted first-order logic the latter is also universal. However, as will be seen in the course of this book, many-sorted logic faithfully interprets the semantics of the object ...
متن کاملA Logical Representation of a Negotiation Protocol for Autonomous Agents in Multi-Agent Systems
We propose a logical framework to represent a bilateral incentive negotiation protocol about task distribution over the space of pure deals. We rst extend Bell's logic 3] to represent autonomous agents by adding utilities to his many-sorted rst-order modal logic, and then introduce a strategic model of negotiation that takes into consideration goal relationships. In so doing we represent not ju...
متن کاملKant's Logic in the Critique of Practical Reason - a Logical Formalization of Kant's Practical Transcendental Argument Msc in Logic
Logic plays a fundamental role in Kant’s transcendental philosophy. The general presupposition is that Kant’s logic can be subsumed under the Aristotelian tradition. However, with respect to this presupposition some problems arise in Kant’s philosophy. This thesis takes a new approach to Kant’s logic: Instead of imposing a logical framework on Kant’s thought this thesis aims at deriving the log...
متن کامل